1.9 KB · ⤓ Micron 1.9 KB · ⤓ HTML 13.7 KB

top

Nella mwawlogica proposizionale, un mwbaletterale è una mwbqformula atomica o la sua mwbgnegazione.

Un letterale può essere di due tipi: positivo o negativo.

Dato un letterale mwcq l {\displaystyle l} , il suo mwcgcomplemento è un letterale rappresentato con la negazione di mwcw l {\displaystyle l} , e viene scritto con mwda l ¯ ¯ {\displaystyle {\bar {l}}} . Più precisamente, se mwdq l ≡ ≡ x {\displaystyle l\equiv x} allora mwdg l ¯ ¯ {\displaystyle {\bar {l}}} è mwdw ¬ ¬ x {\displaystyle \lnot x} e se mwea l ≡ ≡ ¬ ¬ x {\displaystyle l\equiv \lnot x} allora mweq l ¯ ¯ {\displaystyle {\bar {l}}} è mweg x {\displaystyle x} .

Nel contesto di una formula in mwfaforma normale congiuntiva, un letterale è detto mwfqpuro se il suo complemento non appare nella formula.

• mwgqGiorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi, Linguaggi modelli complessità, Milano, Franco Angeli Editore, 2003, ISBN 88-464-4470-1.

• mwgw(EN) Samuel R. Buss, An introduction to proof theory, in Samuel R. Buss (a cura di), Handbook of proof theory, Elsevier, 1998, pp. 1-78, ISBN 0-444-89840-9.